package edu.pku.sei.autounit.reflect.jdt;

import org.eclipse.jdt.core.IMethod;
import org.eclipse.jdt.core.IType;

import edu.pku.sei.autounit.reflect.Class;
import edu.pku.sei.autounit.reflect.Constructor;

public class JDTConstructor extends JDTMethod implements Constructor{

	protected JDTConstructor(IType jdtType, Class c, IMethod jdtMethod,
			JDTTypeFactory factory) {
		super(jdtType, c, jdtMethod, factory);
	}
}
